35. A Course on Mathematical Logi
Author: / by Shashi Mohan Srivastava
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Mathematics,Computer science,Algebra,Logic, Symbolic and mathematical,Electronic books
Classification :
E-BOOK
37. An Invitation to Abstract Mathematic
Author: / by B?شla Bajnok
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Mathematics,Logic, Symbolic and mathematical,Electronic books
Classification :
E-BOOK
38. Automated deduction in geometr
Author: / Pascal Schreck, Julien Narboux, Jeurgen Richter-Gebert (eds.
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Geometry, Data processing, Congresses,Automatic theorem proving, Congresses,Computer science,Software engineering,Computational complexity,Artificial intelligence,Computer graphics,Artificial Intelligence (incl. Robotics),Mathematical Logic and Formal Languages,Symbolic and Algebraic Manipulation,Discrete Mathematics in Computer Science,Electronic books
Classification :
QA448
.
D38
,
I58
2011
40. BL,BL
Author: / Marshall G.S. Hodgson. ,20090530 0
Library: Library of Islamic Parliament (Tehran)
Subject:
